xen: arm: handle 40-bit addresses in the p2m
authorIan Campbell <ian.campbell@citrix.com>
Wed, 20 Nov 2013 13:56:08 +0000 (13:56 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 29 Nov 2013 09:26:07 +0000 (09:26 +0000)
commit6c5b00aae9525db09d77c577080560b8bf688978
tree4e6c0f1a14c81347efb9f0aad34bf10e4b04d862
parentfce9a38af8a38e6d951a008919f7d9f7ba77615b
xen: arm: handle 40-bit addresses in the p2m

On the X-gene platform there are resources up this high which must be mapped
to dom0.

Remove the first level page from the p2m->pages list since it is actually two
pages and must be freed as such. Do so in p2m_teardown.

I've also punted on the implementation of dump_p2m_lookup for high
addresses...

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/p2m.c